81. Programming languages with applications to biology and security.
Author: \ Chiara Bodei , Gian-Luigi Ferrari, Corrado Priami (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Programming languages (Electronic computers),Computer science,Computer networks,زبانهای برنامهنویسی کامپیوتر,کامپیوتر,شبکههای کامپیوتری,a03,a04,a05,a03,a04,a05
Classification :
QA
76
.
7
.
P76
2015
E-Book
,
82. Python for data science /
Author: by Luca Massaron and John Paul Mueller
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data mining,Data structures (Computer science),Programming languages (Electronic computers),Python (Computer program language)
Classification :
QA76
.
73
.
P98
83. Python machine learning case studies
Author: / [edited by] Danish Haroon
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Python,Computer programming.,Programming languages (Electronic computers),Computer science.
Classification :
QA76
.
73
.
P988
2017
84. RIMS Symposia on Software Science and Engineering II :
Author: edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
6
E358
1986
85. Regular expression pocket reference /
Author: Tony Stubblebine
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- Syntax,Text processing (Computer science)
Classification :
QA76
.
9
.
T48
S78
2007
86. Regular expression pocket reference
Author: \ Tony Stubblebine.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Text processing (Computer science),متنپردازی,a03,a03,Programming languages (Electronic computers)-- Syntax.,زبانهای برنامهنویسی کامپیوتر-- نحو
Classification :
QA
76
.
9
.
S7R4
2007
E-Book
,
87. Regular expression pocket reference
Author: Stubblebine, Tony.
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: ، Text processing )Computer science(,Syntax ، Programming languages )Electronic computers(
Classification :
QA
76
.
9
.
T48
S78
88. Regular expressions cookbook
Author: \ Jan Goyvaerts and Steven Levithan.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Text processing (Computer science),متنپردازی,a05,a05,Programming languages (Electronic computers), Handbooks, manuals, etc.,Computer programming.,زبان های برنامه نویسی کامپیوتر -- دستنامه ها ,برنامهنویسی
Classification :
QA
76
.
7
.
G6R4
2012
E-Book
,
89. Regular expressions cookbook
Author: Jan Goyvaerts, Steven Levithan
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming,Programming languages (Electronic computers), Handbooks, manuals, etc,Text processing (Computer science)
Classification :
QA76
.
7
.
G69
2012
90. Semantics and algebraic specificatio
Author: / Jens Palsberg (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
Classification :
QA
,
76
.
7
,.
S435
,
2009
91. Semantics and algebraic specification
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
92. Semantics for concurrency
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Parallel programming (Computer science ► Programming languages (Electronic computers)- Semantics
Classification :
S471
93. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
Author: / sponsored by Logic for IT (S.E.R.C.), 23-25 July 1990, University of Leicester, UK
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Parallel programming (Computer science) - Congresses,Programming languages (Electronic computers) - Semantics - Congresses
Classification :
QA76
.
642
.
I56
1990
94. Semantics of type theory : correctness, Completeness and independence results
Author: Thomas Streicher
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
Classification :
QA
76
.
7
.
S85
95. Semantics of type theory : correctness, completeness, and independence results
Author: / Thomas Streicher
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming languages (Electronic computers) - Semantics,Functional programming (Computer science),Type theory
Classification :
QA76
.
7
.
S82
1991
96. Source Code Analytics With Roslyn and JavaScript Data Visualization /
Author: Sudipta Mukherjee ; foreword by Darius Blasband
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.
Classification :
QA76
.
754
.
M85
2016
97. Spiele effektiv programmieren
Author: Uwe Kettermann, Andreas Rohde.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
98. Swift 3 for Absolute Beginners
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.
Classification :
QA76
.
73
.
S95
99. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
Author: editors, J.W. de Bakker and J.J.M.M. Rutten
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
Classification :
QA
76
.
642
.
T45
1992
100. The Logic of Partial Information
Author: by Areski Nait Abdallah.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms.,Computer science.,Programming languages (Electronic computers) -- Semantics.
Classification :
QA76
.
7
B937
1995
